Natural properties of abductive hypotheses in three-valued logic
نویسندگان
چکیده
This paper shows some interesting properties of Kleene’s threevalued logic in relation to abductive reasoning. A semantical characterization of abductive explanations is proposed, based on the notion of minimal three-valued model. This establishes a relation between the minimization problem in abductive reasoning and three-valued semantics, in the same sense as non-monotonic reasoning deals with minimization in two-valued semantics.
منابع مشابه
Each normal logic program has a 2-valued Minimal Hypotheses semantics
In this paper we explore a unifying approach — that of hypotheses assumption — as a means to provide a semantics for all Normal Logic Programs (NLPs), the Minimal Hypotheses (MH) semantics . This semantics takes a positive hypotheses assumption approach as a means to guarantee the desirable properties of model existence, relevance and cumulativity, and of generalizing the Stable Models semantic...
متن کاملEvery normal logic program has a 2-valued Minimal Hypotheses semantics
In this paper we explore a unifying approach — that of hypotheses assumption — as a means to provide a semantics for all Normal Logic Programs (NLPs), the Minimal Hypotheses (MH) semantics . This semantics takes a positive hypotheses assumption approach as a means to guarantee the desirable properties of model existence, relevance and cumulativity, and of generalizing the Stable Models semantic...
متن کاملExplaining Incompatibilities in Data Dictionary Design through Abduction
Logic programming with abductive reasoning is used during the realization of a data dictionary with a particular methodology. Some methodological steps are represented by means of a set of rules augmented with integrity constraints which capture the presence of incompatible concepts. Explanations for incompatibility can be inferred by exploiting abductive reasoning. To this end a new proposal f...
متن کاملAn Abductive Framework for General Logic Programs and other Nonmonotonic Systems
We present an abductive semantics for general propositional logic programs which defines the meaning of a logic program in terms of its extensions. This approach extends the stable model semantics for normal logic programs in a natural way. The new semantics is equivalent to stable semantics for a logic program P whenever P is normal and has a stable model. The abductive semantics can also be a...
متن کاملAn Argumentation-Theoretic Foundations for Logic Programming
D Logic programs are considered as abductive programs with negative literals as abductive hypotheses. A simple framework for semantics of logic programming is introduced based on the notion of acceptable hypotheses. We show tha t our framework captures, generalizes, and unifies different semantic concepts (e.g., well-founded models, stable models, s ta t ionary semantics, etc.) in logic program...
متن کامل